integral of sqrt(1 + sec^2x(2tan^2x + 1)^2) from 0 to pi/4